-record(c_int, {value :: integer()}).