try to improve PlatformDependent0

use "(DirectBuffer)buffer" to get the cleaner