Tests the nondeterministic bits of HAR conversion via the magic of hard-coded values.