cross_eof
cross_eof(STp, 0);
result = cross_eof(STp, 0);
!(result = cross_eof(STp, 1))) ||
result = cross_eof(STp, 0); /* Back over the EOF hit */
