WYRL: well it now compiles and runs without crashing ... but it doesn't do any rewriting!!