gallium: Portability guidelines.