smx_activity_t sleep(double duration);
void set_user_data(void* data) { userdata_ = data; }
void* get_user_data() { return userdata_; }
smx_activity_t sleep(double duration);
void set_user_data(void* data) { userdata_ = data; }
void* get_user_data() { return userdata_; }