Chapter 7: Add mpc library