Thanks for the input!  Have you (or anyone else) also experienced the crashes already on GNU/Linux?  I'm unable so far to get any crash with various combinations of name_list and other commands.  Also, if anyone is able to reproduce the crash, it would be cool to get a stacktrace or something from GDB (I can provide instructions for GNU/Linux).