Int f int x x f (16/48)

Int f int x x f