#ifndef KERNEL_H
#define KERNEL_H

int strlen(char*);
#endif