post-strict-pascal