Using yaidom 0.8.2