(5: Int(5) @Foo)