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