image: y src proc exp :: abstractor1