In a kickstarter project the same discussion ended with that solution:
https://www.kickstarter.com/projects/214379695/micro-python-python-for-microcontrollers/posts/727834
In a kickstarter project the same discussion ended with that solution:
https://www.kickstarter.com/projects/214379695/micro-python-python-for-microcontrollers/posts/727834