-record(default_int, {val :: integer()}).