#ifndef SFRT_SANDBOX_REQUEST_SCHEDULER_PS_H
#define SFRT_SANDBOX_REQUEST_SCHEDULER_PS_H
#include <sandbox_request_scheduler.h>
void sandbox_request_scheduler_ps_initialize();
#endif /* SFRT_SANDBOX_REQUEST_SCHEDULER_PS_H */