RT DW A1 Korkut, Joomy. T1 Foreign Function Verification Through Metaprogramming