class C {
	def xx(verb: String, a: Array[Int]) {
	  val reYYYY = """(\d\d\d\d)""".r
	  verb match {
	    case "time" if a.isEmpty =>
	    case "time"              =>
	    case reYYYY(y)           =>
	  }
	}
}