Wpis z mikrobloga

@RaVo: Strzał:

IntegerIO.Put(a);

na:

Text
IO.Integer_IO.Put(a); oczywiście usuwając tego importa z Integer na początku (with...)

^ tam mają być podkreślniki, oczywiście programistów wypoku przerosło zaimplementowanie popranego mechanizmu formatowania tekstu.