#65: dead code