CtrLog: Symbol Type in Javascript