{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// Compute the value passed to the constructors of the `AllocBytes` type for
    /// abstract machine allocations.