give #4258 a name

this can only be done once. names cannot be duplicated. first come first serve. gas applies.