A JSON tokenizer in AS3