Fix test asmtabs