tested type casting