let
nextDefId = ref 0