`flagsRepr`?