type M : string -> integer

function entry : M

entry(s) := {
    return x;
}