XXX i did not use "!rtsol $int" because there could be problem with shell script expansion ($int gets expanded too early).