Added userinit support
Useful for S2E (works really fine) or else