hard-coded code snippets in boost.py - Issue 1432