* os9kread.c (os9k_process_one_symbol): Rename