1/2: Building A (A.idr)
2/2: Building B (B.idr)
-- this should be the last line of output --
