that seems correct. if you want an incomplete type, you can specify that
(with pragma incomplete).