no title added by anonymous on Mon Jun 15 01:51:20 2015
(bitmatch (u8vector 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1)
(((a double big) (b double big) (c boolean) (d boolean))
(vector bua b c d)))(bitmatch (u8vector 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1)
(((a double big) (b double big) (c boolean) (d boolean))
(vector bua b c d)))