First variant with inline assembler in the micro kernel.