Document & clean up huge_alloc