/* initializes the loader */
int so_init_loader(void);

/* runs an executable specified in the path */
int so_execute(char *path, char *argv[]);