如何在Tcl中将整数转换为带前导零的字符串？

我在学习Tcl。在Perl中，我可以做到这一点：

 $ perl -e 'for ($i = 0; $i < 5; $i++) { printf("name%03d\n", $i) }'
 name000
 name001
 name002
 name003
 name004

（$i=0；$i<5；$i++）{printf（“名称%03d\n”，$i）} 名字000 名称001 名称002 名称003 名称004 我可以在Tcl中执行此操作吗？

请参见：

$tclsh
%对于{set i 0}{$i<5}{incr i}{put[格式“name%03d”$i]}
名字000
名称001
名称002
名称003
名称004

$ tclsh
% for {set i 0} {$i < 5} {incr i} { puts [format "name%03d" $i] }
name000
name001
name002
name003
name004