// #failed: package
// #error: circular import