user contains a user space implementation of the astateful framework.