VOXLIB_1_DIGIT_STRING [
VLIB_1_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_2_DIGIT_STRING [
VLIB_2_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_3_DIGIT_STRING [
VLIB_3_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_4_DIGIT_STRING [
VLIB_4_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_5_DIGIT_STRING [
VLIB_5_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_6_DIGIT_STRING [
VLIB_6_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_7_DIGIT_STRING [
VLIB_7_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_8_DIGIT_STRING [
VLIB_8_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_9_DIGIT_STRING [
VLIB_9_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_10_DIGIT_STRING [
VLIB_10_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_11_DIGIT_STRING [
VLIB_11_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_12_DIGIT_STRING [
VLIB_12_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_13_DIGIT_STRING [
VLIB_13_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_14_DIGIT_STRING [
VLIB_14_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_15_DIGIT_STRING [
VLIB_15_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_16_DIGIT_STRING [
VLIB_16_DIGIT_STRING:z {<choice $z>}
]

VOXLIB_1_DIGIT_KEY_STRING [
VLIB_1_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_2_DIGIT_KEY_STRING [
VLIB_2_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_3_DIGIT_KEY_STRING [
VLIB_3_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_4_DIGIT_KEY_STRING [
VLIB_4_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_5_DIGIT_KEY_STRING [
VLIB_5_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_6_DIGIT_KEY_STRING [
VLIB_6_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_7_DIGIT_KEY_STRING [
VLIB_7_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_8_DIGIT_KEY_STRING [
VLIB_8_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_9_DIGIT_KEY_STRING [
VLIB_9_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_10_DIGIT_KEY_STRING [
VLIB_10_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_11_DIGIT_KEY_STRING [
VLIB_11_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_12_DIGIT_KEY_STRING [
VLIB_12_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_13_DIGIT_KEY_STRING [
VLIB_13_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_14_DIGIT_KEY_STRING [
VLIB_14_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_15_DIGIT_KEY_STRING [
VLIB_15_DIGIT_KEY_STRING:z {<choice $z>}
]

VOXLIB_16_DIGIT_KEY_STRING [
VLIB_16_DIGIT_KEY_STRING:z {<choice $z>}
]

VLIB_1_DIGIT_KEY_STRING [
( VSUB_DIGIT_KEY_STRING:n ) {return($n)}
]

VLIB_2_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
) {return(strcat($d1 $d2))} 
]

VLIB_3_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
) {return(strcat($d1 strcat($d2 $d3)))}
]

VLIB_4_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
) {return(strcat(strcat($d1 $d2)
                 strcat($d3 $d4)))}
]

VLIB_5_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
) {return(strcat($d1
                 strcat(strcat($d2 $d3)
                        strcat($d4 $d5))))}
]

VLIB_6_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
) {return(strcat(strcat($d1 $d2)
                 strcat(strcat($d3 $d4)
                        strcat($d5 $d6))))}
]

VLIB_7_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
) {return(strcat(strcat($d1
                        strcat($d2 $d3))
                 strcat(strcat($d4 $d5)
                        strcat($d6 $d7))))}
]

VLIB_8_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
) {return(strcat(strcat(strcat($d1 $d2)
                        strcat($d3 $d4))
                 strcat(strcat($d5 $d6)
                        strcat($d7 $d8))))}
]

VLIB_9_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
) {return(strcat($d1
                 strcat(strcat(strcat($d2 $d3)
                               strcat($d4 $d5))
                        strcat(strcat($d6 $d7)
                               strcat($d8 $d9)))))}
]

VLIB_10_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
) {return(strcat(strcat($d1 $d2)
                 strcat(strcat(strcat($d3 $d4)
                               strcat($d5 $d6))
                        strcat(strcat($d7 $d8)
                               strcat($d9 $d10)))))}
]

VLIB_11_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
  VSUB_DIGIT_KEY_STRING:d11
) {return(strcat(strcat($d1
                        strcat($d2 $d3))
                 strcat(strcat(strcat($d4 $d5)
                               strcat($d6 $d7))
                        strcat(strcat($d8 $d9)
                               strcat($d10 $d11)))))}
]

VLIB_12_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
  VSUB_DIGIT_KEY_STRING:d11
  VSUB_DIGIT_KEY_STRING:d12
) {return(strcat(strcat(strcat($d1 $d2)
                        strcat($d3 $d4))
                 strcat(strcat(strcat($d5 $d6)
                               strcat($d7 $d8))
                        strcat(strcat($d9 $d10)
                               strcat($d11 $d12)))))}
]

VLIB_13_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
  VSUB_DIGIT_KEY_STRING:d11
  VSUB_DIGIT_KEY_STRING:d12
  VSUB_DIGIT_KEY_STRING:d13
) {return(strcat(strcat($d1
                        strcat(strcat($d2 $d3)
                               strcat($d4 $d5)))
                 strcat(strcat(strcat($d6 $d7)
                               strcat($d8 $d9))
                        strcat(strcat($d10 $d11)
                               strcat($d12 $d13)))))}
]

VLIB_14_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
  VSUB_DIGIT_KEY_STRING:d11
  VSUB_DIGIT_KEY_STRING:d12
  VSUB_DIGIT_KEY_STRING:d13
  VSUB_DIGIT_KEY_STRING:d14
) {return(strcat(strcat(strcat($d1 $d2)
                        strcat(strcat($d3 $d4)
                               strcat($d5 $d6)))
                 strcat(strcat(strcat($d7 $d8)
                               strcat($d9 $d10))
                        strcat(strcat($d11 $d12)
                               strcat($d13 $d14)))))}
]

VLIB_15_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
  VSUB_DIGIT_KEY_STRING:d11
  VSUB_DIGIT_KEY_STRING:d12
  VSUB_DIGIT_KEY_STRING:d13
  VSUB_DIGIT_KEY_STRING:d14
  VSUB_DIGIT_KEY_STRING:d15
) {return(strcat(strcat(strcat($d1
                               strcat($d2 $d3))
                        strcat(strcat($d4 $d5)
                               strcat($d6 $d7)))
                 strcat(strcat(strcat($d8 $d9)
                               strcat($d10 $d11))
                        strcat(strcat($d12 $d13)
                               strcat($d14 $d15)))))}
]

VLIB_16_DIGIT_KEY_STRING [
(
  VSUB_DIGIT_KEY_STRING:d1
  VSUB_DIGIT_KEY_STRING:d2
  VSUB_DIGIT_KEY_STRING:d3
  VSUB_DIGIT_KEY_STRING:d4
  VSUB_DIGIT_KEY_STRING:d5
  VSUB_DIGIT_KEY_STRING:d6
  VSUB_DIGIT_KEY_STRING:d7
  VSUB_DIGIT_KEY_STRING:d8
  VSUB_DIGIT_KEY_STRING:d9
  VSUB_DIGIT_KEY_STRING:d10
  VSUB_DIGIT_KEY_STRING:d11
  VSUB_DIGIT_KEY_STRING:d12
  VSUB_DIGIT_KEY_STRING:d13
  VSUB_DIGIT_KEY_STRING:d14
  VSUB_DIGIT_KEY_STRING:d15
  VSUB_DIGIT_KEY_STRING:d16
) {return(strcat(strcat(strcat(strcat($d1 $d2)
                               strcat($d3 $d4))
                        strcat(strcat($d5 $d6)
                               strcat($d7 $d8)))
                 strcat(strcat(strcat($d9 $d10)
                               strcat($d11 $d12))
                        strcat(strcat($d13 $d14)
                               strcat($d15 $d16)))))}
]


VSUB_DIGIT_KEY_STRING [
 ( dtmf-0 ) {return("0")}
 ( dtmf-1 ) {return("1")}
 ( dtmf-2 ) {return("2")}
 ( dtmf-3 ) {return("3")}
 ( dtmf-4 ) {return("4")}
 ( dtmf-5 ) {return("5")}
 ( dtmf-6 ) {return("6")}
 ( dtmf-7 ) {return("7")}
 ( dtmf-8 ) {return("8")}
 ( dtmf-9 ) {return("9")}
 ( dtmf-star ) {return("*")}
 ( dtmf-pound ) {return("#")}
]

VLIB_1_DIGIT_STRING [ 
  VSUB_DIGIT_STRING:d {return($d)} 
]

VLIB_2_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
) {return(strcat($d1 $d2))} 
]

VLIB_3_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
) {return(strcat($d1 strcat($d2 $d3)))}
]

VLIB_4_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
) {return(strcat(strcat($d1 $d2)
                 strcat($d3 $d4)))}
]

VLIB_5_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
) {return(strcat($d1
                 strcat(strcat($d2 $d3)
                        strcat($d4 $d5))))}
]

VLIB_6_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
) {return(strcat(strcat($d1 $d2)
                 strcat(strcat($d3 $d4)
                        strcat($d5 $d6))))}
]

VLIB_7_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
) {return(strcat(strcat($d1
                        strcat($d2 $d3))
                 strcat(strcat($d4 $d5)
                        strcat($d6 $d7))))}
]

VLIB_8_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
) {return(strcat(strcat(strcat($d1 $d2)
                        strcat($d3 $d4))
                 strcat(strcat($d5 $d6)
                        strcat($d7 $d8))))}
]

VLIB_9_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
) {return(strcat($d1
                 strcat(strcat(strcat($d2 $d3)
                               strcat($d4 $d5))
                        strcat(strcat($d6 $d7)
                               strcat($d8 $d9)))))}
]

VLIB_10_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
) {return(strcat(strcat($d1 $d2)
                 strcat(strcat(strcat($d3 $d4)
                               strcat($d5 $d6))
                        strcat(strcat($d7 $d8)
                               strcat($d9 $d10)))))}
]

VLIB_11_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
  VSUB_DIGIT_STRING:d11
) {return(strcat(strcat($d1
                        strcat($d2 $d3))
                 strcat(strcat(strcat($d4 $d5)
                               strcat($d6 $d7))
                        strcat(strcat($d8 $d9)
                               strcat($d10 $d11)))))}
]

VLIB_12_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
  VSUB_DIGIT_STRING:d11
  VSUB_DIGIT_STRING:d12
) {return(strcat(strcat(strcat($d1 $d2)
                        strcat($d3 $d4))
                 strcat(strcat(strcat($d5 $d6)
                               strcat($d7 $d8))
                        strcat(strcat($d9 $d10)
                               strcat($d11 $d12)))))}
]

VLIB_13_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
  VSUB_DIGIT_STRING:d11
  VSUB_DIGIT_STRING:d12
  VSUB_DIGIT_STRING:d13
) {return(strcat(strcat($d1
                        strcat(strcat($d2 $d3)
                               strcat($d4 $d5)))
                 strcat(strcat(strcat($d6 $d7)
                               strcat($d8 $d9))
                        strcat(strcat($d10 $d11)
                               strcat($d12 $d13)))))}
]

VLIB_14_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
  VSUB_DIGIT_STRING:d11
  VSUB_DIGIT_STRING:d12
  VSUB_DIGIT_STRING:d13
  VSUB_DIGIT_STRING:d14
) {return(strcat(strcat(strcat($d1 $d2)
                        strcat(strcat($d3 $d4)
                               strcat($d5 $d6)))
                 strcat(strcat(strcat($d7 $d8)
                               strcat($d9 $d10))
                        strcat(strcat($d11 $d12)
                               strcat($d13 $d14)))))}
]

VLIB_15_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
  VSUB_DIGIT_STRING:d11
  VSUB_DIGIT_STRING:d12
  VSUB_DIGIT_STRING:d13
  VSUB_DIGIT_STRING:d14
  VSUB_DIGIT_STRING:d15
) {return(strcat(strcat(strcat($d1
                               strcat($d2 $d3))
                        strcat(strcat($d4 $d5)
                               strcat($d6 $d7)))
                 strcat(strcat(strcat($d8 $d9)
                               strcat($d10 $d11))
                        strcat(strcat($d12 $d13)
                               strcat($d14 $d15)))))}
]

VLIB_16_DIGIT_STRING [
(
  VSUB_DIGIT_STRING:d1
  VSUB_DIGIT_STRING:d2
  VSUB_DIGIT_STRING:d3
  VSUB_DIGIT_STRING:d4
  VSUB_DIGIT_STRING:d5
  VSUB_DIGIT_STRING:d6
  VSUB_DIGIT_STRING:d7
  VSUB_DIGIT_STRING:d8
  VSUB_DIGIT_STRING:d9
  VSUB_DIGIT_STRING:d10
  VSUB_DIGIT_STRING:d11
  VSUB_DIGIT_STRING:d12
  VSUB_DIGIT_STRING:d13
  VSUB_DIGIT_STRING:d14
  VSUB_DIGIT_STRING:d15
  VSUB_DIGIT_STRING:d16
) {return(strcat(strcat(strcat(strcat($d1 $d2)
                               strcat($d3 $d4))
                        strcat(strcat($d5 $d6)
                               strcat($d7 $d8)))
                 strcat(strcat(strcat($d9 $d10)
                               strcat($d11 $d12))
                        strcat(strcat($d13 $d14)
                               strcat($d15 $d16)))))}
]

VSUB_DIGIT_TWO_THRU_NINE [
  two {return(2)}
  three {return(3)}
  four {return(4)}
  five {return(5)}
  six {return(6)}
  seven {return(7)}
  eight {return(8)}
  nine {return(9)}
]

VSUB_DIGIT_ONE_THRU_NINE [
  one {return(1)}
  VSUB_DIGIT_TWO_THRU_NINE:n {return($n)}
]

VSUB_DIGIT [
  [ zero oh ] {return(0)}
  VSUB_DIGIT_ONE_THRU_NINE:n {return($n)}
]

; Single-digit grammars that return string values

VSUB_DIGIT_TWO_THRU_NINE_STRING [
  two {return("2")}
  three {return("3")}
  four {return("4")}
  five {return("5")}
  six {return("6")}
  seven {return("7")}
  eight {return("8")}
  nine {return("9")}
]

VSUB_DIGIT_ONE_THRU_NINE_STRING [
  one {return("1")}
  VSUB_DIGIT_TWO_THRU_NINE_STRING:n {return($n)}
]

VSUB_DIGIT_STRING [
  [ zero oh ] {return("0")}
  VSUB_DIGIT_ONE_THRU_NINE_STRING:n {return($n)}
]

VSUB_TEEN_STRING [
  eleven {return("11")}
  twelve {return("12")}
  thirteen {return("13")}
  fourteen {return("14")}
  fifteen {return("15")}
  sixteen {return("16")}
  seventeen {return("17")}
  eighteen {return("18")}
  nineteen {return("19")}
]

VSUB_DECADE_STRING [
  twenty {return("2")}
  thirty {return("3")}
  forty {return("4")}
  fifty {return("5")}
  sixty {return("6")}
  seventy {return("7")}
  eighty {return("8")}
  ninety {return("9")}
]

VSUB_TEEN [
  eleven {return(11)}
  twelve {return(12)}
  thirteen {return(13)}
  fourteen {return(14)}
  fifteen {return(15)}
  sixteen {return(16)}
  seventeen {return(17)}
  eighteen {return(18)}
  nineteen {return(19)}
]

VSUB_DECADE [
  twenty {return(20)}
  thirty {return(30)}
  forty {return(40)}
  fifty {return(50)}
  sixty {return(60)}
  seventy {return(70)}
  eighty {return(80)}
  ninety {return(90)}
]