add three examples of IORef and STM