Those tests fail the function pointer comparison when running the miri test. Need to figure out why and fix either the test or our implementation.