Added printing arguments and forwarding maxint