some work on weak symbols