ANSI C; sprintf now returns an int.
old bug fix from some bug report; fixed local symbol handling
date and time created 86/10/05 17:06:29 by sam