pub const clingo_error_e_clingo_error_bad_alloc: clingo_error_e = 3;
!< memory could not be allocated