Translating seq into Core

Hallo, my question ist, how the "seq" operator is translated into the GHC-core-language? I had suspected, the core-language has a special strictness-operator, but I saw, that this is not the case. David Sabel JWGU Frankfurt