CBMC
architectural Directory Reference