# Generated from machtest.pro.