hafnian
libhaf
libperm
