NSArray * tokenize(NSString *str);
NSObject * read_str(NSString *str);