void klog(const char*, ...);