#include <stdio.h> #include <assert.h> int divide(int a, int b) { assert(b != 0); return a / b; } int main() { printf("%d", divide(10, 2)); return 0; }