I am trying to learn an effective way to take inputs in pike when the the input is provided in a single line.

Lets say we have something like

7
12 13 14 15 16 17 18 19

Of course the 7 may be a greater value and the numbers may have varying number of digits. How do we then take integer inputs ? The best I was able to come up till now was to loop through the string and take the numbers till a space is encountered in which case my integer array's index is increased by 1. Is there any elegant way ?