def make_flag_reg(name: str, double_flopped: bool) -> RGReg:
    return RGReg([RGField(name, 32, 0, 0, 'ro')], double_flopped)
def make_flag_reg(name: str, double_flopped: bool) -> RGReg:
    return RGReg([RGField(name, 32, 0, 0, 'ro')], double_flopped)