class MiniSpecC