main() asyncの中にユーザーのコードを入れるのはちょっと難しかった。 Importとかトップレベルにしかかけないものをいけないとか。