more getters for StructBuilder