 Diamond theorem in the constructible universe

The constructible universe satisfies the diamond principle. Together with antichain sealing by diamond, this supplies a Suslin tree in $L$.