use a hack to not end a data declaration too early