int choice __attribute__((weak)) = 11;