let
flags = [
(* sharing is on by default *)
]