{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"//"}]}
    //  uint64_t Tripcount =
    //  void **ArgMappers = nullptr; // User-defined mappers, possibly null.
    //      0; // Tripcount for the teams / distribute loop, 0 otherwise.