Merge branch 'insns'