Smallest example demonstrating mkName issue