#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);