The caveat to mention here is that this is with the standard IO interface. If you use Core.println instead of println you get something substantially smaller. A

The caveat to mention here is that this is with the standard IO interface. If you use Core.println instead of println you get something substantially smaller. A limitation of v1.12 is that the handling of IO is not that great, and this is something that IIUC is being addressed in the v1.13 updates.