commented write_sob_symbol from scheme.lib