Initial versions of op115_1, op115_2
(Urs Metzger)