// error-pattern: calculated effect is ''
io fn main() {
  log "hi";
}