All userprog tests passing