example file && some improvements on interface Result