# Mult calculates m times n the old-fashioned way:
# by adding m + m + ... + m for n times.
m = int(raw_input("Type a nonnegative int: "))
n = int(raw_input("Type a nonnegative int: "))
assert (m >= 0) and (n >= 0) # prevents further execution
# if either input is bad
total = 0
count = n
while count != 0 :
assert total == ((n - count) * m) # invariant
print "total =", total, "; count =", count
total = total + m
count = count - 1
assert total == (m * n) # checks that answer is correct
print "total =", total, "; count =", count
raw_input("Press Enter")