true:   annot, explain, debug
<main.{byte,native}>: use_rfsm
<*.ml>: annot, use_rfsm
