Reading GOTO program from 'test.goto'
// tag-Unit
// 
struct Unit;


struct Unit
{
};


// VoidUnit
// 
struct Unit VoidUnit;

// main
// file /Users/vecchiot/Documents/rmc/src/test/cbmc/test.rs line 6 column 1 function main
struct Unit main(void)
{
  struct Unit var_0;

bb0:
  ;
  unsigned char rol8=irep("(\"rol\" \"\" (\"constant\" \"type\" (\"unsignedbv\" \"width\" (\"8\")) \"value\" (\"38\")) \"\" (\"constant\" \"type\" (\"unsignedbv\" \"width\" (\"8\")) \"value\" (\"3\")) \"type\" (\"unsignedbv\" \"width\" (\"8\")))");

bb1:
  ;
  return VoidUnit;
}