../../arvo/lib/tiny.hoon