let main () =
  let dados,(maq:maquina) = leitura () in
  let (a,b,c) = maq in 
    try
      let memor = ref (b,dados)  in
        

(** Enquanto houver passos de execução por realizar, executar. A excepção FIM é lançada para assinalaro fim da execução. *)


      while true do
        memor := (step !memor maq)
      done
    with
        FIM x -> print_output x maq