let
rec
step_star (maq:maquina) (config:configuracao) = step_star maq (step maq config)