{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"const"}]}
const CHALK_SOLVER_FUEL: i32 = 1000;
/// This controls how much 'time' we give the Chalk solver before giving up.