`exp` is already interpreted before a few lines.