#include <stdio.h>
    #include <inttypes.h>
     
    int main(void) {
        uint64_t test1 = 5e10 - 1;
        uint64_t test2 = 5e16 - 1;
    	printf("test1: %" PRIu64 "\n", test1);
        printf("test2: %" PRIu64 "\n", test2);
    	return 0;
    }