How do I get the name the executable was invoked as (equivalent to C\'s argv[0])? I actually need to handle somebody renaming the executable and stuff like that.
Ther
