// a binary without AVmPayload_main