reresolving const names