Interim: Introduce strtok().