This should definitely by a binary specification with various ISA assembly implementations.