sys_malloc does indeed allocate at least 4 more bytes and aligns to qword boundaries. As to my knowledge, in lite-C it should be thread safe.