"pint_#73"