Litmus code-gen tests for the other annotations.