export type MsgExit = number