Symbol: hashalloc_args