Html and sexp serialization tests