../../arvo/lib/naive.hoon