ALQLLine, ALQLReturn, ALQLTriple, ALQLLock