Debug: Do not use alloca