Re: GPL version of SIMtrace