Symbol: test_at_insn