more wasi print cmd info elements info data info custom Catch Ctrl+C settings Ideas: record execution python interface