#include "mtx_mul~.c" void mtx_0x2a0x7e_setup(void) { mtx_mul_tilde_setup(); }