https://issues.dlang.org/show_bug.cgi?id=15088 --- Comment #1 from Tomer Filiba <tomerfiliba at gmail.com> --- I guess it was confused with /* Type of timers in the kernel. */ typedef int kernel_timer_t; --