#include <string>
#include <cstdint>
int main(int argc, char* argv[])
{
	uint32_t x=0;
	return x;
}