Examples that require (unsafe) dummy hashing.

-- {-# OPTIONS --safe #-}

-- ** example traces
open import Jolteon.Traces