Adopt specifications from syzkaller

Require investigate specifications (programs in syzlang) based on system calls data flow in syzkaller and adopt it to Klever