Formatted source code in gpio extensions