Making the exnv env to be bottom if no exception is known
Exception detected <=> not ( Envs.is_bottom exn_env )
Adding module Htbl
External c fun API start