ensure compatibility with mangled API from kotlin