obliv float fun(obliv int x) { return x; }