DB<10> printf "%04o", $c; 0755 DB<11>