#include <fcntl.h>
#include <syscall.h>

int open(const char* filename, int flags, ...)
{
    return syscall2(SYS_open, (uint32_t)filename, flags);
}