First version able to pass the patcher without crashing (verified for "standard" programs)