def METHOD_NAME(annotation, args):
    """Handling TVM loop types"""
    n = args.__len__()
    if n == 1:
        low, ext = const(0, dtype="int32"), args[0]
    else:
        _internal_assert(n == 2, "A loop intrinsic should only have 1 or 2 arguments!")
        low, ext = args[0], args[1]
    if not tvm.tir.analysis.expr_deep_equal(low, const(0, dtype="int32")):
        ext = ext - low
    kind = LOOP_INTRIN[annotation]
    iter_var = None
    return iter_var, low, ext, kind