/* Automatically generated header! Do not edit! */

#ifndef _INLINE_DISK_H
#include <inline/disk.h>
#endif /* !_INLINE_DISK_H */