rules_to_rcmds() and clarified in memory model