rework type casting section