DOM semantic, ADT void