More thinkering for hvl_load_ahx()