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