C001: Because assertion incorrect