case "$EXIT" in
  0|11) ;;
  12)
    exec /lib/debian-installer/exit
    ;;
  *) 
    # error message
    ;;
esac
