#include <stddef.h>
int syscall_ftruncate(int fd, size_t length);