(orcc-lib) Fix printing.