our coding standard says that pointer types should be written as: "type*" not "type *"

change to:

char* token = NULL;