subcircuit library: implied allExtern for mining