#include <stdio.h>
/* To add argv[1] and argv[2] as ints */
main(argc, argv) 
  int argc;
  char *argv[];
{
  printf("%d\n", atoi(argv[1]) + atoi(argv[2]));
}