-- Hello World example

derivation inputs args
{ branch main:
    eval message 3;
}