Test succeeds
- : unit = ()