rust: ~[] -> Vec
Less unnecessary boxing
Fix whitespace