line, and `"' at the end of first argument of printf(). Submitted by: Michio "Karl" Jinbo <karl@marcer.nagaokaut.ac.jp>