1 2 3 4 5 6 7
// -p well-formed -p wrap-main -p well-formed component foo<"toplevel"=1>() -> () { cells {} wires {} control {} }