example html now matches test_xsadd.c