Evaluated proc dprocbin args { dprocbin_n 7 $args }