[userprog] DESIGNDOC for argpassing, synchro