int main(int argc, char **argv) {
    __int128 a = 123;
    __int128 b = 1;
    return a / b;
}