#include "hardware_stub.h"