program start machineState = programInternal start machineState $ LabelState M.empty Nothing [] Nothing Nothing 0
program start machineState = programInternal start machineState $ LabelState M.empty Nothing [] Nothing Nothing 0
program start machineState = programInternal start machineState $ LabelState M.empty Nothing [] Nothing Nothing 0