MBT_FINAL
bt = MBT_FINAL;
bt = MBT_FINAL;
while (bt != MBT_FINAL)
bt = MBT_FINAL;
bt = MBT_FINAL;
bt = MBT_FINAL;
bt = MBT_FINAL;
case MBT_FINAL:
type = MBT_FINAL;