A few 8051 examples.

(SDCC inline assembly format)