#ifndef __STD_H_
#define __STD_H_
#include <Uefi.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/UefiLib.h>
typedef EFI_STATUS et;
typedef EFI_GRAPHICS_OUTPUT_BLT_PIXEL pixel;

#endif
