verify_types
