const default_getterinfo: JSJitInfo;