(-) bug: no finalization for constants