Converted package BER to use SPARK 2014. Most aspects are commented out due to lack of tool support.