Function charge 

pub fn charge(budget: Option<&Budget>, bytes: u64) -> Result<()>

Charge bytes against an optional traversal budget. None (the trusted, unbounded path) is a no-op the optimizer removes.