typed_cex
