const head_getterinfo: JSJitInfo;