extern void pause(long ms);