void sorter___AbstractSorter___bubble_sort(val_t p0, val_t p1, val_t p2, val_t p3);
typedef void (*sorter___AbstractSorter___bubble_sort_t)(val_t p0, val_t p1, val_t p2, val_t p3);
void sorter___AbstractSorter___bubble_sort(val_t p0, val_t p1, val_t p2, val_t p3);
typedef void (*sorter___AbstractSorter___bubble_sort_t)(val_t p0, val_t p1, val_t p2, val_t p3);