Use a non-symbolic name.