let values_of_mask mask =
  if mask > 0xF then
    invalid_arg (Printf.sprintf "values_of_mask: mask = %d (0x%X)" mask mask);
  (if mask land 0x1 <> 0x0 then ON else OFF)::
    (if mask land 0x2 <> 0x0 then [OVERRIDE] else [])
    @
    (if mask land 0x4 <> 0x0 then [PROTECTED] else [])
    @
    (if mask land 0x8 <> 0x0 then [INHERIT] else [])