tcl的一个格式化操作 [format "%#x" val]

//file1:
#!/usr/bin/tcl
puts [format "%#x" 20];

//输出结果:
0x14

//file2:
#!/usr/bin/tcl
puts [format "%x" 20];

//输出结果:
14