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