#include <stdio.h>
#include <stdlib.h>
#include <string.h>

const char white_space[] = { 011, 012, 013, 014, 015, 040, NULL};

int main(void)
{
	int i=1;
	char *str, test[] = "this is a test";
	str = strtok(test,white_space);
	while(i) {
		printf("{%s}",str);
		str = strtok(NULL,white_space);
		if(!str) i=0;
	}
	printf("\n");
	return 0;
}