// Dummy script to replace missing resource
void main()
{
}