function error(message: string): never