Which one is a hack and which one is very elegant, may depend on who you ask...

		yongjik on Dec 16, 2014 \| parent \| context \| favorite \| on: Coq: The world’s best macro assembler? (2013) [pdf... Which one is a hack and which one is very elegant, may depend on who you ask...