Library for GCC helper functions