#pragma once

int sys_get_pagesize(void);
int sys_alloc_pipe(int p[2], int bufsize);