tagptr (cargo): Strongly typed atomic and non-atomic tagged pointers
Keywords: concurrency|pointer|tagging