As was further verified by #4, this code is not well tested enough. Currently, not all functions are tested, and this needs to change.
