modify test.hl
trivial