static cast