#import std
#import nat
#import sol
#import tag

#fix general_type_fixer 0

ntre = ntre%WZnwAZ

#fix general_type_fixer 1

xtre "s" = ("s",xtre "s")%drWZwlwAZ

#fix fix_lifter1 general_type_fixer 0

stre "s" = ("s",stre)%drWZwlwAZ