{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// Reads the given number of bytes from memory, and strips their provenance if possible.
impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
    /// Returns them as a slice.