Depend on ASM 4.1