each case in switch is wrapped
within braces to allow type definitions.
User-space tests successful.