this is joint work with alan noell and sivaguru ravisankar. we prove a hartogs-bochner type theorem for a bounded domain $u$ with smooth boundary in ${\mathbb c}^n \times {\mathbb r}$ with nodegenerate, flat, and elliptic cr singularities (all natural conditions for the problem). that is, a cr function on the boundary $\partial u$ extends to a cr function on $u$, smooth up to the boundary.