R|/Foo.x| = Int(42)
