FDS>  macro verificationMarkState (tb : TypeBuilder, meth : MethodBuilder, params opts : list [PExpr])//, vlStateName, vlAllowableStates)
FDS>  {
FDS>      def vlStateName       = opts[0];
FDS>      def vlAllowableStates = opts[1];
FDS>