__stop_watching_system
__stop_watching_system(int32 object, uint32 flags, port_id port, int32 token)
void __stop_watching_system() {}