add ex1_9. Doesn't work properly, anyway.