\procedure{$\O{NewKey}(\n{ltk})$}{
 \n{kid}_\n{} \gets (\n{kid}_\n{} + 1)\\
\pcif \n{ltk} = \O{none}\left(\bin^{256}\right) \pcthen\\
\pcind\n{ltk}_\n{} \stackrel{id1}{\sample} \bin^{256}\\
\pcind \n{LTK}[\n{kid}_\n{}] \gets \O{some}\left(\n{ltk}_\n{}\right)\\
\pcind \n{H}[\n{kid}_\n{}] \gets \O{some}\left(\lit{true}\right)\\
\pcelse\\
\pcind \n{LTK}[\n{kid}_\n{}] \gets \n{ltk}\\
\pcind \n{H}[\n{kid}_\n{}] \gets \O{some}\left(\lit{false}\right)\\
 \pcreturn \n{kid}_\n{}\\
}
