var_def() tested
quadruple for cond added