.x: Int
.f: Int -> Int