mike crypto (0xbit00001)