pragSpecDName        = libFun (fsLit "pragSpecD")         pragSpecDIdKey
pragSpecDName        = libFun (fsLit "pragSpecD")         pragSpecDIdKey
pragSpecDName        = libFun (fsLit "pragSpecD")         pragSpecDIdKey