On Monday, 12 November 2018 at 16:08:28 UTC, helxi wrote: > Line 12 was meant to print 1234. > Line 13 was meant to print 1234 too, but for a different reason. Correction, it was meant to print 12304. My bad.