using nonlocalized symbols #21