int main(void) {
    return (-12) / 5;
}