Fixed wrong encoding of argc values