procedure main() every write( star('01') \25 ) end procedure star(chars) suspend "" | ( star(chars) || !chars ) end