Зачем чего-то переводить, нужно просто грамотно засунуть в InlineCode. Другое дело, что это плагин, т.е. DLL-ка с определённым набором входных точек, а этого сейчас просто так не сделаешь, нужно свой make_xxx лепить.