name resolution file