This really isn't a Good Old Times thing. Bit, didn't know where else to ask. Just want to see if anyone knows what it is? Is it a walnut cracker, some sort of nut cracker? Or am I way off?