const persisted_getterinfo: JSJitInfo;