!import "./test/vars-B.tri" B

!import "./test/vars-C.tri" C

main = B.y (C.z)