Typed_assembly_language loading ...