BitBoy : a bitbox emulator for bitbox !