typoed result_def as result