Got rid of gcc warning "return type of ‘main’ is not ‘int’"