starting to understand define-datatype etx