ARM's GCC Sample Code