parse_max
assert(p->state.cur < parse_max(p));
return parse_instructions_parsed(p) && parse_max(p) - parse_cur(p) == 1;
for (i = 0; i < parse_max(p); i++)
assert(idx < parse_max(p));
assert(idx < parse_max(p));