# OASIS_START
# DO NOT EDIT (digest: 0baec9dfd3857e8cff12e40cdf9ce7db)
Behavior
Lwt_automaton
# OASIS_STOP