const max3 = @compileError("deprecated; use @max instead");