The CHECK lines in the test are too specific and cause mis-matches on some platforms. Reduce them to make them less fragile.
