const Counter: brand(
  "Counter",
  /*#__PURE__*/ lessThanOrEqualTo(65535)(NonNegativeInt),
);