type main: string -> integer
type rec: [integer: rec_x; integer: rec_y]

function entry: main

entry (arg) := {
    [integer: arg_x; integer: arg_y; rec: arg_record; Boolean: arg_bool]
    arg_x := 3 + 2 * 8;
    return 0;
}