int foo(float x) {
  return (int) (x - 1);
}