#include <time.h>

__attribute__ ((section ("entry")))
void main() {
    sleep(4500); // Wait 4.5 seconds

    return;
}