slice.pl update printf