blob: f24d2fef73c7ada04dac85312f7dae19ac23e2ec [file] [log] [blame]
Matthias Andreas Benkard08586462020-06-28 22:42:43 +02001#include <stddef.h>
2
3void swap_loop(char* restrict a, char* restrict b, size_t len);
4void swap_malloc(char* restrict a, char* restrict b, size_t len);
5void swap_alloca(char* restrict a, char* restrict b, size_t len);