syncvars -> aux3