Yep, pretty fancy. Also, you should do something with `internal_error` in the frontend.