greet(string([0.5]))
