def METHOD_NAME(func_id, args):
    _internal_assert(func_id == "ceil_div", "This function cannot be directly invoked!")
    _internal_assert(args.__len__() == 2, "2 arguments expected for division!")
    _internal_assert(isinstance(args[0], _expr.PrimExpr), "Only expressions can div")
    _internal_assert(isinstance(args[1], _expr.PrimExpr), "Only expressions can div")
    a, b = args[0], args[1]
    return (a + b - 1) // b