PICOC_STACK_SIZE is set to 1024 by default.