From any 4-dimensional oriented handlebody X without 3- and 4-handles and with b2 1, we construct arbitrary many compact Stein 4-manifolds that are mutually homeomorphic but not diffeomorphic to each other, so that their topological invariants (their fundamental groups, homology groups, boundary homology groups, and intersection forms) coincide with those of X. We also discuss the induced contact structures on their boundaries. Furthermore, for any smooth 4-manifold pair (Z, Y ) such that the
complement Z − int Y is a handlebody without 3- and 4-handles and with b2 1, we construct arbitrary many exotic embeddings of a compact 4-manifold Y 0 into Z, such that Y 0 has the same topological invariants as Y .