Example: EDN bound to 3X00