let get_assigns_method () = match Assigns.get () with | "effect" -> Mcfg.EffectAssigns | "memory" -> Mcfg.NormalAssigns | "none" -> Mcfg.NoAssigns | m -> abort "Unknown assigns method '%s'" m