echo "*Hello, world" | ./tromp