object MixStdAndNonStd
  def printString(str: String): Unit = {
    Std.printString(str);
    Std.printString(str)
  }

  val intInput: Int(32) = Std.readInt();
  printString(Std.intToString(intInput))
end MixStdAndNonStd