Add missing display.prnt function