const applets_getterinfo: JSJitInfo;