On Thursday, 2 November 2017 at 20:37:11 UTC, user1234 wrote: > On Thursday, 2 November 2017 at 08:58:03 UTC, codephantom wrote: replace function by void.