domain some_domain { fn three_args(resource a, resource b, resource c) { allow(this, a, file, write); allow(this, b, file, read); allow(this, c, file, open); } this.three_args(a=foo, b=bar, c=baz); this.three_args(c=foo, b=baz, a=bar); } resource foo {} resource bar {} resource baz {}