; This is defined inside the application which calls
; CHICKEN_run(C_toplevel);
double get_time() { return 3; }

; This is the CHICKEN code that gets compiled into C,
; also included in the compilation process when creating
; the APK

(define get-time
    (foreign-lambda double get_time))

; This code is loaded and evaluated at runtime

(get-time)

; Return value of the code is printed out
; with SDL_Log and returns 0.0