#include thread Parker {}; void main( Parker & ) { park( __cfaabi_dbg_ctx ); } int main() { for(1000) { Parker parker; unpark( parker __cfaabi_dbg_ctx2 ); } printf( "done\n" ); // non-empty .expect file }