Could be nice to add:
`print "Once the while loop has completed, a has the value", a`