We cannot use find_const here, see my previous comment