use typed iota
add verbose debugging