fun ident(x : int) : int is x end;