{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
    /// etc. A batched function takes more (or longer) arguments, and might be able to benefit from
    /// - Calling the function 25 times with a batch size of 4,
    /// cache locality, better re-usal of primal values, and other optimizations.