Added a test case for #pragma opaque