SmiPrint 801 src/objects.cc void Smi::SmiPrint(FILE* out) { SmiPrint 806 src/objects.cc void Smi::SmiPrint(StringStream* accumulator) {