add: int a int b -> int
    | 1 -> a b +
    ;

ad: int a int b -> int
    | 1 -> a b +
    ;

fuenf: int a -> int
    | 1 -> a
    ;

drei: int a -> int
    | 1 -> a
    ;

test: int a -> int
    | fb: int b -> int
        | 1 b == -> 0 0 add
        | 1 1 == -> 1 0 ad
        ;
        a fb ->  1 drei
    | 1 1 == -> 3 fb
    ;
0 test