begin
  var a{@var a: byte->boolean;@}:Predicate<byte>;
end.