void tick_init(void);
void tick_ack(void);
<p>Error running this command: <code>diff -w -U 5 "" "/tmp/wCyyJl"</code></p><p>diff: : No such file or directory</p>