causality: dynalloc uses info available at boc