no need to export set-print-fn!, not useful under advanced compilation