Macro with_max_alloc 

macro_rules! with_max_alloc {
    ($amt:expr, || $blk:expr) => { ... };
}

Run a task with a statically known bound on allocation.