use stricter 'must halt';
# There's no infinite loops in this code!
...