int c= fgetc(Tinputfile);
if (c!=EOF) Pformat("unwanted additional syscall reply data");
if (ferror(Tinputfile)) Tfailed("read test log input (at end)");
int c= fgetc(Tinputfile);
if (c!=EOF) Pformat("unwanted additional syscall reply data");
if (ferror(Tinputfile)) Tfailed("read test log input (at end)");