factory.addStatement(new StringBufferAppendChar(tmp, argument));
factory.addStatement(new StringFromStringBuffer(result, tmp));
} else if (type.equals(BooleanType.v())) {
// use a BooleanToString operation
factory.addStatement(new BasicUnaryOp(result, argument, new BooleanToString()));
} else if (radix == 10 && Automatons.fromType(type.toString()) != null) { // TODO: handle radix!=10
// unknown primitive type. use the known automaton for this type
factory.addStatement(new StringInit(result, Automatons.fromType(type.toString())));