Compiles with DK2 0.4.1 (crashes)