public static bool reset_eof( Object p ) { //print("RES_EOF " + p); return ((input_port)p).reset_eof(); }