const pressed_getterinfo: JSJitInfo;