Zinc, a systems programming language prototype