PS7がOS Xでも独自にユーザがメモリを割り当てられるらしい。
どういう技か知らないけど。