I think your use of readline() is redundant since <FILE> and readline(FILE) are equivalent. So readline(<FILE>) is actually reading the line using <>, and not readline().

Cheers!