base type is ok, base assert is ok