Re: [alexandria-devel] [PATCH] fix generate-switch-body