@set UPDATED 21 November 2017
@set UPDATED-MONTH November 2017
@set EDITION 4.2.1+dbg-1.4
@set VERSION 4.2.1+dbg-1.4
