Circuit module now compiles; import it