def METHOD_NAME(ty, name):
    if ty == "Ity_F32":
        return claripy.FPS(name, claripy.FSORT_FLOAT)
    elif ty == "Ity_F64":
        return claripy.FPS(name, claripy.FSORT_DOUBLE)
    else:
        return claripy.BVS(name, pyvex.get_type_size(ty))