def object_header(num_type, length):
 return (((object_class(num_type).type_name + ' ') + str(length).encode('ascii')) + '\x00')

def object_header ( num_type , length ) : return ( ( ( object_class ( num_type ) . type_name + ' ' ) + str ( length ) . encode ( 'ascii' ) ) + '\x00' )
return an object header for the given numeric type and text length .