added aux_names to get_empty()