const body_setterinfo: JSJitInfo;