// "037.hac" should pass, assigning parameters to other initialized parameters
// copy-modified from "003.hac"

defproc bogus() {
pint N;
N = 5;
pint M = N;

pbool a = true;
pbool b = a;
}

bogus x;

