int fla(int x,
        short u,
        char c) {
  ok
