#include <stdio.h>
#include <assert.h>

// Precondition: x cannot be zero
void test(int x) {

  assert(x);

  printf("10 divided by x is: %d\n", 10/x);

}

int main() {

  test(2);

  test(0);

  return 0;
}