if (!eof($a)) ...