int choice __attribute__((weak)) = 22;