The following lines seem to be code. Are they really supposed to be translated?