docs: public static StringType char2StringType(CharType c) {
  		switch(c){
  		case D: return StringType.D;
  		case C: return StringType.C;
  		case L: return StringType.L;
  		case B: return StringType.B;
  		default: return StringType.O;
  		}
  	}