"alter" Statement in Spectre

you can't do
      alter dev=M1 mod=mymodel
dev and mod are mutually exclusive.