// no local variables
int main() {}