zero_type();