implementation module WhileVars