More or less it rewrites
String.downcase("FOO\0BAR") |> String.split("\0")
String.split(String.downcase("FOO\0BAR"), "\0")
More or less it rewrites
to