#ifndef CORE_H
#define CORE_H

__extension__ typedef __int128 int128_t;
__extension__ typedef unsigned __int128 uint128_t;

// Read 128 bit integers as string
int read_int128_triplet(const char* prompt, int128_t* a, int128_t* b, int128_t* c);

// Convert the read string into 128 bit integers
int128_t str_to_int128(const char* s);

// Print 128 but integers
void print_int128(int128_t n);

#endif