Shared types and constants for the handoff\_to\_user tool.

#### HANDOFF\_INTERRUPT\_NAME

Stable name reported on the raised interrupt (`Interrupt.name`).

#### DEFAULT\_HANDOFF\_TO\_USER\_DESCRIPTION

Description for the handoff\_to\_user tool.