finish description of the ACSL scpec of poke