Hybrid Sequence:
The starting point is $\lib{ots-real}$, with the pseudo-OTP algorithms included.
To use the fact that $G$ is a secure PRG, we can apply a three-hop maneuver to replace ``$Y := G(\key)$'' with ``$Y \gets \bits^{\secpar+\ell}$.'' The result of the three-hop maneuver is identical to $\lib{otp-real}$: a library that produces true OTP ciphertexts of length $\secpar+\ell$.\FORMATTINGHACK{\pagebreak}
$\lib{otp-real}$ and $\lib{otp-rand}$ are interchangeable (\claimref{provsec.clm.otp}):
$\lib{ots-real}$
$\otsenc$($\ptxt$):
// $\key \gets \K$:
$\key \gets \bits^\secpar$
// $C := \Enc(\key,\ptxt)$:
$Y $
${}:= {}$
$G(\key)$
$\prgsamp()$
${}\gets \bits^{\secpar+\ell}$
$\ctxt $
${}:= Y \oplus \ptxt$
${}\gets \bits^{\secpar+\ell}$
return $\ctxt$
$\link$
$\lib{prg-real}^G$
$\prgsamp$( ):
$\seed \gets \bits^\secpar$
$Y := G(\seed)$
return $Y$
$\lib{prg-rand}^G$
$\prgsamp$( ):
$Y \gets \bits^{\secpar+\ell}$
return $Y$