/* Each entry matches a symbol in syscalls.h. This file is generated by mksyscalls.sh. */
unsigned syscalls_light_cas_1_3[] = {
	  0x101e213c // e_fopen 0
	, 0x101e2278 // e_fread 1
	, 0x101e23b4 // e_fseek 2
	, 0x101e1b34 // e_fclose 3
	, 0x101dfda4 // e_sprintf 4
	, 0x101e7644 // e_stat 5
	, 0x101e2820 // e_puts 6
        , 0x101deaac // e_malloc 7
};