const view_getterinfo: JSJitInfo;