I'm currently trying to find a line in a file

```
#define IMAX 8000

```

and replacing 8000 with another number.

Currently, stuck trying to pipe arguments from awk into sed.

```
grep '#define IMAX' 1d_Euler_mpi_test.c | awk '{print $3}' | sed

```

Not too sure how to proceed from here.