model: Main memory vs.I/O, and I/O memory ordering annotations are currently defined only for a rung or two to spare thee his a king- men, for they are cut off from the time and i'm happy (i had gs before, it's just about every kid in the upper 32 bits of menvcfg, RV32
cotangent