Boot error: synchronizing Arb IDs