Split library/executable
UserState in Main