It might be nice, if it's not too convoluted, to support at least some mechanism for executing HFSMs.