get proof of compile_fake_exp_val working again