For a random walk with both downward and upward jumps (increments), the joint distribution of the exit time across a given level and the undershoot or overshoot at crossing is determined through its generating function, when assuming that the distribution of the jump in the direction making the exit possible has a Laplace transform which is a rational function. The expected exit time is also determined and the paper concludes with exact distribution results concerning exits from bounded intervals. The proofs use simple martingale techniques together with some classical expansions of polynomials and Rouché's theorem from complex function theory.
