Delete simple_dekker.c~