def get_return_name(i):
    """
    Given some integer i, return the name of the ith return.

    :param i: A nonnegative integer
    :return: The name of the return identifier according to our internal naming
    """
    return '$return_%d' % i