(module Flags)