Macro build_register_file 

macro_rules! build_register_file {
    (
        $(#[$($rf_attrs:tt)*])*
        $regfile:ident, $states:path ;
        $(
            $reg_name:ident: $index:expr, $reg_view:ident, $state:ident
        ),+ $(,)*
    ) => { ... };
}