- s -

• signal_handler() : fstdeterminizestar.cc