/* Copyright (C) NHR@FAU, University Erlangen-Nuremberg.
 * All rights reserved.
 * Use of this source code is governed by a MIT-style
 * license that can be found in the LICENSE file.    */
#ifndef __ALLOCATE_H_
#define __ALLOCATE_H_
#include <stdlib.h>

extern void* allocate(int alignment, size_t bytesize);

#endif