(`loop {}` is valid too... anything that doesn't return.)