Use simpler cast(void)