#include <stdio.h>

int main(int argc, char const *argv[])
{
  int res;
  res = sub(10,20);
  printf("Result: %d\n", res);
  return 0;
}