exported names bug example and correct example