I started to write printf... it seems it works :)