Add a-b in main