implementation module example_int1; //1.3 from StdString import String; //3.1 add :: !Int !Int -> Int; add a0 a1 = code { ccall add "II:I" } // int add (int v1,int v2);