## This file is deprecated in favor of to_json in zeek.bif
@deprecated="Remove in 3.1.  to_json is now always available as a built-in function."