method
private
is_DoMemAccess () =
Parameter_map
.is_true
DoMemAccess
.name gen_optionTbl