void
user_init(){;}