isa/examples: reduced line count of sum