#include <stddef.h>

void swap_loop(char* restrict a, char* restrict b, size_t len);
void swap_malloc(char* restrict a, char* restrict b, size_t len);
void swap_alloca(char* restrict a, char* restrict b, size_t len);