fprintf( stdout, "user: %s"

"real name: Henrik Bjørlo" );