//dummy header file for RobloxServicesTools.cpp compilation