Symbol: free_insns