{"bar": false, "foo": greet, "foo": i64}.div
