-record(int_opt, {default :: integer()}).