Symbolic ARM floating-point register names
Selected SSE2 instructions.