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