if ($2 isin $read(ops.txt)) { blah } should work.