kernel output routine added in manual