Specify UTF-8 file encoding
Insert nodes the proper red-black way