OnPlayerEntered<suspends>(Agent : agent) : void =
    LaunchProp.Activate(Agent)
    Sleep(1.5)   # wait 1.5 seconds before the pit drops
    PitProp.Activate(Agent)