Parse_PushInput
Parse_PushInput(NULL, headLineno, bodyReadLines, buf, f);
void Parse_PushInput(const char *, unsigned, unsigned, Buffer,
Parse_PushInput(fullname, 1, 0, buf, NULL);
Parse_PushInput(name, 1, 0, buf, NULL);