\code{
\func{Reflex-Vacuum-Agent}{{\ts}[\var{location},\var{status}]}{an action}
\firststatic{last\_A,\ last\_B}{numbers, initially $\infty$}
\bodysep
    \key{if} \var{status} = \var{Dirty} \key{then} $\ldots$
}
