definition module example_int1;

//1.3
from StdString import String;
//3.1

add :: !Int !Int -> Int;
// int add (int v1,int v2);