@main def main(): Unit =
  val s = "42"
  // padTo appends the fill char until the length is reached
  println(s.padTo(5, '0'))

pad to a fixed length