let option_name = "-val-print-callstacks"