/* Each entry matches a symbol in syscalls.h. This file is generated by mksyscalls.sh. */
unsigned syscalls_light_cas_1_4[] = {
	  0x103a844c // e_fopen 0
	, 0x103a8640 // e_fread 1
	, 0x103a877c // e_fseek 2
	, 0x103a7dec // e_fclose 3
	, 0x103a5f44 // e_sprintf 4
	, 0x103adad4 // e_stat 5
	, 0x103a8c54 // e_puts 6
        , 0x103a3d58 // e_malloc 7
};