added various stubs for sanitizer