let
mutable_flag_quot =
Gram
.
Entry
.mk
"mutable_flag_quot"