-spec eval_record_default(dynamic()) -> undefined | {value, term()}.

-spec integer_value(dynamic()) -> integer().