C run time type names