usr/share/man/man1/cbmc.1 usr/share/man/man1/goto-cc.1
usr/share/man/man1/cbmc.1 usr/share/man/man1/goto-instrument.1
