function main() {
print(add(1, 1) as str);
}
/**
* Add two numbers together
*/
function add(nat a, nat b) nat {
return a + b;