/*
namespace: Compile
expectation: Fail
*/
import std.bad_circuit; // `bad_circuit` is not a core package
function main() {}