switch Jasmin -> ASM5