xdef discovery working

verification test missing
adding test pragma

incomplete