About the second question, I mean. I read that (var:y) would be compile into classic y vars (y1, y2, etc) by ERA with a process. This process strickly forbiddon mixing y1, y2 with (var:y) (name:y) in the same funcion as there is a chance (var:y) (name:y) could be compiled to y1 y2 and overlap. Why is it not a concern in the case mixing (var:y) and y(ptr:y)?