module test {
   concrete Example : SuifObject
   {
       int x;
   };
}