Use assembly procedures in C functions