checked return not null