// in full-option-A transitive semantics and demo-hybrid, includes a's functions
#import auto b

// necessary only in full-option-B transitive semantics
// (unnecessary in demo's awkward hybrid semantics)
// #import static under_a

//# $f
void over_b( struct b_t * p, int depth ) {
        int printf( const char *, ... );  // scaffold
    printf( "over_b -> a\n" );
    a(& p->a, depth);
    printf( "over_b -> b\n" );
    b( p, depth);
}