C.f. https://github.com/dfinity/motoko/pull/5720/commits/24bbccf9814637b72e5b59a6167d6dc3bdc0abdc https://github.com/dfinity/motoko/pull/5720/commits/73919f2e69f4daca44919e66a63e35f71dd63ae7
