#define _FILE_OFFSET_BITS 64
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/types.h>

int main(int argc, char **argv)
{
	ftruncate(STDOUT_FILENO, (argc > 1) ? strtoul(argv[1], NULL, 0) : 0x100000000ULL);
	return 0;
}