¿Cómo transferir el trabajo del tiempo de ejecución a la etapa de compilación? Por ejemplo, ¿cómo se hace en System.Text.Json?