pulsarize_vci: missed close paren