(parser) variable bitwidth mismatch in function decodeTerminate