Implement take and drop in NoCompilePush