int div(int a, int b)
in { assert(b != 0); }
do
{
    return a / b;
}

Reply via email to