def word_sfence(opcode, syntax, xregs, fregs, imms, symbols):
    tpe = NONE
    pt_symbol = random.choice(['pt0', 'pt1', 'pt2', 'pt3'])
    imms += [('uimm1', 1), ('uimm6', 8)]
    insts = (['li xreg0, uimm1', 'la xreg1, {}'.format(pt_symbol), 'addi xreg1, xreg1, uimm6'] + [syntax])
    return (tpe, insts)
def word_sfence(opcode, syntax, xregs, fregs, imms, symbols):
    tpe = NONE
    pt_symbol = random.choice(['pt0', 'pt1', 'pt2', 'pt3'])
    imms += [('uimm1', 1), ('uimm6', 8)]
    insts = (['li xreg0, uimm1', 'la xreg1, {}'.format(pt_symbol), 'addi xreg1, xreg1, uimm6'] + [syntax])
    return (tpe, insts)