1 2 3 4 5 6 7 8 9 10
hand-enum(left); hand-enum(%left); keyword-cases-enum(%true); keyword-cases-enum(%false); keyword-cases-enum(%some); keyword-cases-enum(%none); keyword-cases-enum(%ok); keyword-cases-enum(%err); keyword-cases-enum(%inf); keyword-cases-enum(%nan);