A System-Level Game Semantics