num Linux coding style
Print prompt to stderr
vars Linux coding style #20