When [`freeze`](https://hackmd.io/JR5J_8d_RuSujI5wSBwKTw) is added, we can implement it with [`SAVE_EXPR`](https://gcc.gnu.org/onlinedocs/gccint/Unary-and-Binary-Expressions.html).
