throw/1
throw(+Exception)
Exception is thrown as an exception.
term, must be nonvar
instantiation_error
Exception is unbound.
ref-ere, on_exception/1.
on_exception/1