module MiniExec

Main class