{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
// numbers will be used in file names, we choose an encoding that is not
// or hexadecimal numbers (we want short file and directory names). Since these
// case-sensitive (as opposed to base64, for example).