void regress_test_boxeds_not_a_static void regress_test_boxeds_not_a_static (void);