The Implementation
my
$ascii_char
=
'[\x00-\x7F]'
;