# HACK:
#
  … hack code follows…