exec_DeviceSize
extern unsigned exec_DeviceSize(void);
{ exec_Create, exec_iov2device, exec_DeviceSize }