let push_context where =
    L.push where (F.pool()) L.closed