platform_picolisp.h for lm3s.