Enviar por SMS: Normal forms of necessary conditions for dynamic optimization problems with pathwise inequality constraints