{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
    //  void **ArgMappers = nullptr; // User-defined mappers, possibly null.
    //  void **ArgNames = nullptr;   // Name of the data for debugging, possibly null.
    //  uint64_t Tripcount =