further work on depascalization