{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
// or hexadecimal numbers (we want short file and directory names). Since these
// We encode integers using the following base, so they are shorter than decimal
// numbers will be used in file names, we choose an encoding that is not