New: more instructions for GCC