Binfmtc – binfmt_misc C scripting interface