Module Std_kernel.Flags

module Flags: Flags

include Flags_intf.Flags