proc helloWorld(times: int) {.raises: [], tags: [].}