#include // Set up GPIO here void pin_setup() { } int main() { pin_setup() while (1) { } }