* extract_token() now expects to be supplied with the size of the