#include <stdint.h>    
int main(void) {    
    uint64_t bugs = 0;    
    bugs--;    
    printf("%llu", bugs);    
}