#ifndef UNALIGNED_DOUBLE_H
#define UNALIGNED_DOUBLE_H

double unaligned_load_double( const char* const arg0 );
void   unaligned_store_double( char* const arg0, double arg1 );

#endif