@User: Don't know what "a" does, as I mentioned above, but I can see from the way the ngspice source code does the option parsing that "a" can be added or left off.