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