(module Interpreted_automata)