maybe a comment saying this is exactly the same as `a_local /= Void'