added LDR support
if we do not RET, we should assert(!R)
print results
engine clarification
test program to count tuples and sum second column