{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
        && value.try_to_scalar_int().is_ok()
        // Do not attempt to propagate pointers, as we may fail to preserve their identity.