#include <knob/user.h> void main() { tell_user_sz("Hello, world!\n"); }