void _start() {}

__attribute__ ((visibility ("default")))
int main() {
  *(int*)0x200 = 255;
  return 0;
}