Symbol_(formal) loading ...