#include <stdint.h>
#include <stdio.h>

__attribute__((noinline)) int guarded_divide(int numerator, int denominator) {
    if (denominator == 0) {
        return 0;
    }
    return numerator / denominator;
}

int main(int argc, char** argv) {
    int denominator = argc > 1 ? (int)argv[1][0] : 3;
    printf("%d\n", guarded_divide(42, denominator));
    return 0;
}