DBG/COD-BNF: remove type casting