#include<bitmani.h>
#include<stdio.h>

main()
{
   printf("%08x\n", BITMANI::Reverse8 (0x12345678));
   printf("%08x\n", BITMANI::Reverse32(BITMANI::Reverse32(0x12345678)));
   printf("%08x\n", BITMANI::Butterfly1 (0x12345678));
   printf("%08x\n", BITMANI::Butterfly2 (0x12345678));
   printf("%08x\n", BITMANI::Butterfly4 (0x12345678));
   printf("%08x\n", BITMANI::Butterfly8 (0x12345678));
}