const hash_getterinfo: JSJitInfo;