[dv_dt]

In C, valid_user and valid_data might just be macros and then the short circuiting would work just fine.