plus.pir -- simple implementation of a plus function