{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
    // we should get rid of it when talking to chalk.
    // Chalk see `UnevaluatedConst` as a unique concrete value, but we see it as an alias for another const. So
    let goal = goal