: case-value
  CASE
    1 OF 10 ENDOF
    2 OF 20 ENDOF
    3 OF 30 ENDOF
    99
  ENDCASE
;

: case-with-base
  CASE
    10 OF 1 ENDOF
    16 OF 2 ENDOF
    0
  ENDCASE
;

: case-default-only
  CASE
    1 OF 100 ENDOF
    42
  ENDCASE
;

: case-multi-of
  CASE
    0 OF 1000 ENDOF
    1 OF 1001 ENDOF
    2 OF 1002 ENDOF
    3 OF 1003 ENDOF
    -1
  ENDCASE
;

1 case-value . CR
2 case-value . CR
3 case-value . CR
4 case-value . CR
10 case-with-base . CR
16 case-with-base . CR
7 case-with-base . CR
0 case-default-only . CR
1 case-default-only . CR
0 case-multi-of . CR
1 case-multi-of . CR
2 case-multi-of . CR
3 case-multi-of . CR
4 case-multi-of . CR
0 BYE
