implementation module ABC.Machine.Def

import ABC.Machine.AStack
import ABC.Machine.BStack
import ABC.Machine.CStack
import ABC.Machine.GraphStore
import ABC.Machine.Program
import ABC.Machine.IO