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