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

// awkward but necessary here, unnecessary in full-option-A transitive semantics
// MANUAL step as ERR1: comment out the import
//   (manual becuase can't ifdef an import)
//   scaffold note: leave space after comment token, so `// #`, not `//#`
#import static b

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