Added an `ia mine` example.