UNDETERMINED\
Description: "assertion failed: x == 0"