pumpKIM view 3