Separated decs and defs (fails to compile)