Named introduced locals