给出标准库及HAL驱动示例。