question on generate stabs for type definition