Update write_trivial.h