The following function is given and lies in a header file:
// reads numbers from stdin, one number per line until it detects an empty line // returns all read