Further I imagine that this is mutually exclusive with `reg_file`, so you should set the `xor` trait attributes appropriately.