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