well, no, i guess that's allowed. no writes through references that were passed into the function. but then you couldn't use an impure function that writes to a parameter to implement a pure function