+ intern_print_type_post(type->element_type, false);
+}
+
+/**
+ * Prints the postfix part of a bitfield type.
+ *
+ * @param type The array type.
+ */
+static void print_bitfield_type_post(const bitfield_type_t *type)
+{
+ fputs(" : ", out);
+ print_expression(type->size);
+ intern_print_type_post(type->base, false);