Strlit1

type t
interpret t -> strlit

action a(inp:t) returns (out:t) = {
    out := inp
}