1 2 3 4 5
(* TranslateAddress compatible "main" function *) function (bit[64]) run ((bit[64]) x) = { test(); return 0; }