Describe how to run the instrumenter.
Document new flags(), bitmask() functionality.
Document address-of arguments.
Mention struct field references, too.