int main(int argc, char **argv) {
          typedef struct TESTFM testfm ;
(          int one ;
          int two ;
)
          struct TESTFM data ;
//          SELECT 1
          /*RHSval*/%record {TESTFM} data .{field 1} = 1;
//          SELECT 2
          /*RHSval*/%record {TESTFM} data .{field 2} = 2;
          return(0);
}
/*done*/