スタックかヒープかは言語仕様で決まってる?
それとも単なる今の実装の話?