const lang_getterinfo: JSJitInfo;