(analysis) MPC bounded buffer size minimization (add licence headers)