Depends on pascalprecht.translate