const detail_getterinfo: JSJitInfo;