title: How to get stack size of a systemc thread?
body: <p>Is there a SystemC API that gets current SC thread stack size ?</p>
  
  <p>I know you can set the stack size through <code>set_stack_size</code> and <code>sc_spawn_options</code>. But cannot find an API for getting it.</p>