Add a syntax for io.StdIO.{flushed,current_line,cur_pos,cur_linenum}