Migrated testunpack to OCaml