#include <stdio.h>
#include <sys/types.h>
#include <stdint.h>

void main() {
	int sizeof_off_t = sizeof(off_t);
	int sizeof_uint64_t = sizeof(uint64_t);
	int sizeof_uintptr_t = sizeof(uintptr_t);
	printf("Size of off_t is: %d\n", sizeof_off_t);
	printf("Size of uint64_t is: %d\n", sizeof_uint64_t);
	printf("Size of uintptr_t is: %d\n", sizeof_uintptr_t);
}