With a recent `ksh` (you need `ksh93s` or above), you could do:

 cat <example.txt <#""