COMP: static_cast