Disease: Witkop syndrome