wsfwp.o: wsfwp.s