vg_line_boxf( node->bbx, colour );
bh_debug_trace( bh, node->il, pos, colour );
bh_debug_trace( bh, node->ir, pos, colour );
}
vg_line_boxf( node->bbx, colour );
bh_debug_trace( bh, node->il, pos, colour );
bh_debug_trace( bh, node->ir, pos, colour );
}