const oncut_setterinfo: JSJitInfo;