#include <stdio.h> int main() { int x = 12; int y = 3; printf("%d", x / y); return 0; }