wait_till_seen
wait_till_seen(ipl);
extern void wait_till_seen(int ipl);
extern void wait_till_seen(int);