z3-crosscheck.c 888 Bytes