See flags_intf.ml for documentation.