pass arguments to waf