int main(int argc, char **argv) {
          int i;
          int k;
          k = (-3);
          i = abs(k);
          return(0);
}