Well you should use
.timernamedtimersareeasiertoidentify 0 1 did -c mp3 45 $!insong.pos
and turn it off by .timernamedtimersareeasiertoidentify off
The $inmp3 and $mp3() are deprecated, you should use the new $insong and $sound() identifiers, because sooner or later the old $*mp3* identifiers will be removed.
$sound(filename|type)
Returns information about the specified file if a filename
was specified, or the associated folder for a filename or
file type, where type can be wave, midi, mp3, wma, ogg.
When used with an mp3 files it supports the same properties
as $mp3().
Note: this replaces $wavedir, $mididir, $mp3dir, and $mp3().
These are still supported for now but no longer documented.
$insong
Returns information about the mp3, wma, or ogg file that
is being played, same properties as $inmp3.
Note: this replaces $inmp3, which is still supported for
now but no longer documented.