C-library: functions for logging, debug printouts
