Comment by wmf

There are a bunch of undocumented flags and instructions beyond TSO.