const body_getterinfo: JSJitInfo;