Channel program fully executed with return value:
    return:
        1:
        2: