type=local,dest=./out — dump the final filesystem to a local directory
2026-02-26 21:00:00
，详情可参考爱思助手下载最新版本
Check whether you already have access via your university or organisation.
error prone. Maybe the compiler can do this transformation for us?