High-level_assembler loading ...