AKCL (available on cli or rascal) uses gcc. There are a number of other changes required besides the ones which you mention. In particular the compiler needs to make the correct volatile declarations in the vicinity of catch and throw. Bill