iceformat sanity check
bt1 icp reader