first exact-binding test case \o/