post: fixes for deoptimize-me-not