definition module ABC import ABC.Assembler