Added call to divided-by-zero vendor mk