More work on hvl_load_ahx()