How many x86 instructions are there? via @rygorous