sbcl arm port from nyef with my changes