loop { } doesn't need to inspect lexical "True" each iteration