path: root/test-suite/misc/deps/lib/foo.v

Definition a := 0.