$AST pin insertion is just the beginning, see 5u