They barely arrived than it was time to leave.

• 他们刚到就该离开了。