pub const JS_PAUSED: u32 = 8u32;