/*
 * 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