Salve, in questa pagina
http://www.pluto.it/files/ildp/guide...ion.html#PSUB2
riferendosi all'esempio 2, vi sembra corretto quando nei commenti si dice
«# Toglie lo/gli zeri iniziali dall'argomento fornito»
«# Toglie possibili zeri iniziali»
«# "0" indica ciò che va tolto da "$1" -- gli zeri. »