SC87C51CGF40 — NXP Semiconductors