p4verify_lowmem