void openlog([String? ident, int option = 0, int facility = 0]) { platform.openlog(ident, option, facility); }