{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// So this is the case which doesn't really work I think if we try to be
    }
    /// 100% platform agnostic: