What is the purpose of with-inline-assembly-case? I understand the idea of the inline assembly directive, but I don't get why it needed to be folded into a case statement. 'james