public static int INPUT_PORT_TOKENPOS(input_port p) { return INPUT_PORT_FILEPOS(p)-RGC_BUFFER_LENGTH(p); }