Placeholder for CASM.IN