Formal_mode_of_address loading ...