const closed_getterinfo: JSJitInfo;