  Assuming 0# does not exist, we present a combinatorial approach to Jensen's
method of coding by a real. The forcing uses combinatorial consequences of fine
structure (including the Covering Lemma, in various guises), but makes no
direct appeal to fine structure itself.
