; RUN: true @foo = dllexport global i32 42