const hash_setterinfo: JSJitInfo;