// "_ignore" "true"

class Main {
  /**
   * A simple program.
   * {@snippet lang = Properties:
   *    local.timezone=PST
   *    # @highlight regex="[0-9]+" :
   *    local.zip=94123
   *    local.area-code=415<caret>
   * }
   */
  void f() {}
}