f() = if True, todo()
if True, f